Martin Wirsing (eds.): потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (37)
Най-популярни
Списък
- Списък
- Таблица

1

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Springer International Publishing

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)

Година:

2015

Език:

english

Файл:

PDF, 23.55 MB

0 / 0

english, 2015

2

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Година:

2008

Език:

english

Файл:

PDF, 3.54 MB

0 / 0

english, 2008

3

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Година:

2011

Език:

english

Файл:

PDF, 13.23 MB

0 / 0

english, 2011

4

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Година:

2009

Език:

english

Файл:

PDF, 9.09 MB

0 / 0

english, 2009

5

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Година:

2003

Език:

english

Файл:

PDF, 8.68 MB

0 / 0

english, 2003

6

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

Година:

1992

Език:

english

Файл:

DJVU, 4.27 MB

0 / 0

english, 1992

7

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.79 MB

0 / 0

english, 2004

8

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Година:

2008

Език:

english

Файл:

PDF, 9.22 MB

0 / 0

english, 2008

9

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Година:

2011

Език:

english

Файл:

PDF, 17.12 MB

0 / 0

english, 2011

10

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Година:

2003

Език:

english

Файл:

PDF, 4.80 MB

0 / 0

english, 2003

11

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Година:

2010

Език:

english

Файл:

PDF, 5.23 MB

0 / 0

english, 2010

12

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Година:

2004

Език:

english

Файл:

PDF, 11.77 MB

0 / 5.0

english, 2004

13

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Springer International Publishing

Songmao Zhang, Martin Wirsing, Zili Zhang (eds.)

Година:

2015

Език:

english

Файл:

PDF, 41.53 MB

0 / 0

english, 2015

14

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

Година:

1988

Език:

english

Файл:

DJVU, 4.89 MB

0 / 0

english, 1988

15

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Година:

1983

Език:

english

Файл:

PDF, 10.65 MB

0 / 0

english, 1983

16

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Година:

2005

Език:

english

Файл:

PDF, 5.67 MB

0 / 0

english, 2005

17

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Година:

1983

Език:

english

Файл:

DJVU, 3.71 MB

0 / 0

english, 1983

18

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

Година:

1989

Език:

english

Файл:

DJVU, 5.38 MB

0 / 0

english, 1989

19

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Година:

1991

Език:

english

Файл:

DJVU, 6.59 MB

0 / 0

english, 1991

20

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Година:

2011

Език:

english

Файл:

PDF, 13.54 MB

0 / 0

english, 2011

21

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Година:

2012

Език:

english

Файл:

PDF, 3.80 MB

0 / 0

english, 2012

22

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 3.92 MB

0 / 0

english, 1995

23

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Година:

1987

Език:

english

Файл:

DJVU, 4.38 MB

0 / 0

english, 1987

24

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Година:

1991

Език:

english

Файл:

DJVU, 5.26 MB

0 / 0

english, 1991

25

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Година:

2009

Език:

english

Файл:

PDF, 14.97 MB

0 / 0

english, 2009

26

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Година:

2003

Език:

english

Файл:

PDF, 4.77 MB

0 / 0

english, 2003

27

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Година:

1991

Език:

english

Файл:

PDF, 11.97 MB

0 / 0

english, 1991

28

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Година:

2013

Език:

english

Файл:

PDF, 6.84 MB

0 / 0

english, 2013

29

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

Година:

1991

Език:

english

Файл:

DJVU, 2.20 MB

0 / 0

english, 1991

30

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Година:

1987

Език:

english

Файл:

PDF, 9.86 MB

0 / 0

english, 1987

31

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 6.79 MB

0 / 0

english, 1996

32

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Година:

1991

Език:

english

Файл:

PDF, 11.76 MB

0 / 0

english, 1991

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Година:

2012

Език:

english

Файл:

PDF, 3.89 MB

0 / 0

english, 2012

34

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Година:

2004

Език:

english

Файл:

PDF, 8.47 MB

0 / 0

english, 2004

35

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Година:

2005

Език:

english

Файл:

PDF, 5.89 MB

0 / 0

english, 2005

36

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Година:

2010

Език:

english

Файл:

PDF, 5.18 MB

0 / 0

english, 2010

37

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Година:

2003

Език:

english

Файл:

PDF, 6.52 MB

0 / 0

english, 2003